Functional verification - PDFSEARCH.IO - Document Search Engine

Functional verification
Results: 142

#	Item
91	Security Checkers: Detecting Processor Malicious Inclusions at Runtime Michael Bilzor, Ted Huffmire, Cynthia Irvine, and Tim Levin U.S. Naval Postgraduate School Abstract—To counter the growing threat of malicious sub Add to Reading List Source URL: www.cisr.us Language: English - Date: 2012-10-30 13:43:14 Hardware verification languages Logic design Formal methods Logic in computer science Hardware Trojan Property Specification Language Runtime verification SystemVerilog Functional verification Electronic engineering Digital electronics Hardware description languages
92	1 Evaluating Security Requirements in a General-Purpose Processor by Combining Assertion Checkers with Code Coverage Michael Bilzor∗ , Ted Huffmire† , Cynthia Irvine† , Tim Levin† Add to Reading List Source URL: www.cisr.us Language: English - Date: 2012-10-30 13:43:13 Hardware verification languages Property Specification Language SystemVerilog VHDL Functional verification Verilog OpenRISC E Logic simulation Electronic engineering Electronic design automation Hardware description languages
93	White Paper Extending Digital Verification Techniques for Mixed-Signal SoCs with VCS® AMS September 2014 Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2014-11-07 14:38:38 Verilog-AMS SystemVerilog Verilog Electronic circuit simulation Functional verification System on a chip E Synopsys VHDL Electronic engineering Hardware description languages Electronic design automation
94	Certifiable Specification and Verification of C Programs Christoph Lüth and Dennis Walter Deutsches Forschungszentrum für Künstliche Intelligenz Bremen, Germany [removed], [removed] Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2009-10-23 03:41:49 Denotational semantics Logic in computer science Symbol Structure String Model theory Holomorphic functional calculus Orbifold Mathematics Theoretical computer science Mathematical logic
95	Published in Autonomous Robots,32(3):303–331, April[removed]DOI: [removed]s10514[removed]y The final publication is available at www.springerlink.com Guaranteeing Functional Safety: Design for Provability and Computer-Ai Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2012-03-27 11:02:15 Safety Software development Robot kinematics Formal methods Velocity obstacle Collision detection Formal verification Correctness Robotics Theoretical computer science Applied mathematics Mathematics
96	Quarterly newsletter for verification engineers About This Issue Welcome to the Advanced Verification Bulletin! With every leap in design complexity, Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2014-11-07 12:00:59 Logic design Functional verification FPGA prototype Logic simulation Field-programmable gate array Application-specific integrated circuit Verification E Hardware emulation Electronic engineering Digital electronics Hardware verification languages
97	Medical Verification of Eligibility handyDART Services The purpose of this form is to obtain information about the applicant’s physical and/or cognitive functional ability to use regular bus service. The Clerk Registra Add to Reading List Source URL: www.busonline.ca Language: English - Date: 2014-05-21 19:50:50 HandyDART Transit bus Land transport Transport Public transport Bus
98	Quarterly newsletter for verification engineers About This Issue Welcome to the Advanced Verification Bulletin! With every leap in design complexity, Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2014-11-07 12:00:58 Hardware description languages Electronic design Integrated circuits Logic design SystemVerilog Functional verification E Logic simulation Verilog Electronic engineering Electronic design automation Hardware verification languages
99	Quarterly newsletter for verification engineers About This Issue Welcome to the Advanced Verification Bulletin! With every leap in design complexity, Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2014-11-07 12:00:58 Logic design Functional verification Electronic design E Verification Logic simulation Integrated circuit design Semulation Hardware emulation Electronic engineering Digital electronics Hardware verification languages
100	White Paper Understanding DO-254 Compliance for the Verification of Airborne Digital Hardware October 2009 Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2014-11-07 12:44:09 Integrated circuits Formal methods DO-254 Functional verification Logic simulation Electronic design automation Integrated circuit design Formal equivalence checking Synopsys Electronic engineering Electronics Electronic design

UPDATE